An Introduction to Deductive Logic.

An Introduction to Sociolinguistics

An Introduction to Array Logic

After a discussion of the reasons for choosing to implement logic in array form. a detailed description of the nature of array logic is given. Topics specifically discussed include general array structures and implementation, influence of decoder partitioning, design of logic arrays, output phase, “split” variables, feedback in logic arrays, and reconfiguration. Introduction Although there will...

An introduction to partition logic

Classical logic is usually interpreted as the logic of propositions. But from Boole’s original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (non-empty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoreti...

An Introduction to Description Logic

Abnormal, 143 Abnormality degree, 144 ABox, 19 simple, 175 Absorption, 102 Abstract feature, 134, 229 AL, 232 ALC, 10, 107, 117, 232 ALCEU , 232 ALCI, 39, 90 ALCO, 41 ALCOI, 123 ALCQ, 40 ALCOIQ, 125 ALEU , 233 And-branching, 101 Annotation, 221 property, 221 Anonymous individual, 219 ans(q, I), 170 Answer, 173 to conjunctive query, 170 to Datalog program, 194 Assertion concept, 19 negated role,...

ترجمه و تحقیق کتاب an introduction to the history of mysticism

پایان نامه ی ارائه شده ترجمه ی کتاب «an introduction to the history of mysticism» نوشته ی مارگارت اسمیت که وی پژوهشگر، خاورشناس و محقق برجسته ی تصوف و عرفان می باشد. موضوع اساسی و مهم این کتاب عرفان در ادیان مختلف است. نویسنده در ابتدا این کلمه را ریشه یابی کرده و سپس تعریفی از آن ارائه داده و آن را در ادیان مختلف مورد بحث قرار داده است و در هر فصل کتاب به معرفی عرفای آن دین یا عصر خاصی پرداخته...